Component Behavior Synthesis for Critical Systems,
نویسندگان
چکیده
Component-based architectures are widely used in embedded systems. For managing complexity and improving quality separation of concerns is one of the most important principles. For one component, separation of concerns is realized by defining the overall component functionality by separated protocol behaviors. One of the main challenges of applying separation of concerns is the later automatic composition of the separated, maybe interdependent concerns which is not supported by current component-based approaches. Moreover, the complexity of real-time distributed embedded systems requires to consider safety requirements for the composition of the separated concerns. We present an approach which addresses these problems by a well-defined automatic composition of protocol behaviors with respect to interdependent concerns. The composition is performed by taking a proper refinement relation into account so that the analysis results of the separated concerns are preserved which is essential for safety critical systems.
منابع مشابه
Synthesis of CuFe2 O4 Nanoparticles by a new co- precipitation method and using them as Efficient Catalyst for One-pot Synthesis of Naphthoxazinones
This paper outlines the synthesis of CuFe2O4 nanoparticles and their catalytic applications. CuFe2O4 nanoparticles were synthesized via microwave-assisted co-precipitation method. The obtained nanoparticles characterized through Fourier transform infrared spectroscopy, X-ray diffraction, and scanning electron microscopy. Vibrating sample magnetometer shows nanoparticles exhibit ferromagnetic be...
متن کاملThe Design of the Best Heat Integrated Separation Systems Using Harmony Search Algorithm
The synthesis of heat integrated multi-component distillation systems is complex due to its huge search space for structural combination and optimization computation. To provide a systematic approach and tools for the synthesis design of distillation systems, a new method for modeling heat integrated columns is presented, and the operating cost objective function is minimized by improved harmon...
متن کاملAbsolute Acceleration Transfer Function of Secondary Systems Subjected to Multi- Component Earthquakes
The importance of the equipment and secondary systems in seismic design and performance evaluation is well recognized and has been the subject of many studies. In all of these studies, earthquake is considered as a single component, and in most of them the primary system is considered as shear building. Most attention has been concentrated on the response of secondary system and its response sp...
متن کاملAbsolute Acceleration Transfer Function of Secondary Systems Subjected to Multi- Component Earthquakes
The importance of the equipment and secondary systems in seismic design and performance evaluation is well recognized and has been the subject of many studies. In all of these studies, earthquake is considered as a single component, and in most of them the primary system is considered as shear building. Most attention has been concentrated on the response of secondary system and its response sp...
متن کاملmeta-synthesis of professional ethics elements in higher education
Introduction: Educational systems as an engine of growth in social, political, economic and cultural dimensions play a role in different ecosystems. In the meantime, professional ethics is the cornerstone of education because educators play a key role in fostering creative, critical and responsible individuals with a global perspective. However, few studies in the field of professional ethics i...
متن کاملProposing an Efficient Software-Based Method for Enhancing the Reliability of Critical Application Robot
Robots play such remarkable roles in humans’ modern lives that performing many tasks without them isimpossible. Using robotic systems is gradually increasing the tasks allocated to them and they are becomingmore complex and critical. Software reliability is one of the most significant requirements of robots. Forenhancing reliability, systems should be inherently designed to be tolerable of soft...
متن کامل